Feeds to Scour
SubscribedAll
Scoured 2574 posts in 53.3 ms
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
⚙️Compilers
Preview
Report Post
Static Allocation For Compilers
matklad.github.io·5d·
Discuss: Hacker News
⚙️Compilers
Preview
Report Post
An extremely Fast Python Package Manager
janestreet.com·1d·
Discuss: Hacker News
🧩programming
Preview
Report Post
Why are we worried about memory access semantics? Full barriers should be enough for anybody
devblogs.microsoft.com·1d·
Discuss: Hacker News
🖥️operating systems
Preview
Report Post
Why is calling my asm function from Rust slower than calling it from C?
ohadravid.github.io·17h·
Discuss: Lobsters, Hacker News, r/rust
⚙️Compilers
Preview
Report Post
"Enabling" C threads in a Python / Wasm environment
yosefk.com·3d·
Discuss: Lobsters, Hacker News
🧩programming
Preview
Report Post
How I think about Kubernetes
garnaudov.com·2d·
Discuss: Lobsters, Hacker News
📡RSS
Preview
Report Post
Arcan 0.7.1 – Minutes To Midnight
arcan-fe.com·1d·
Discuss: Lobsters, Hacker News
🌐Network Protocols
Preview
Report Post
Contract.md: The Naughty List for AI Coding Agents
discussdontcode.com·1d·
Discuss: Lobsters, Hacker News
🧩programming
Preview
Report Post
GNU Mes and the module system
ekaitz.elenq.tech·1d·
Discuss: Lobsters, Hacker News
🧩programming
Preview
Report Post
When a driver challenges the kernel's assumptions
miod.online.fr·2d·
Discuss: Lobsters, Hacker News
🖥️operating systems
Preview
Report Post
Resilient Packet Forwarding: A Reinforcement Learning Approach to Routing in Gaussian Interconnected Networks with Clustered Faults
arxiv.org·4d
🌐Network Protocols
Preview
Report Post
Writing an NES emulator in Haskell
arthi-chaud.github.io·2d·
Discuss: Lobsters, Hacker News
⚙️Compilers
Preview
Report Post
Cursed Bundler: Using go get to install Ruby Gems
nesbitt.io·2d·
Discuss: Hacker News, r/golang
🧩programming
Preview
Report Post
Self-referencing Page Tables for the x86-Architecture
0l.de·2d·
Discuss: Lobsters, Hacker News
🖥️operating systems
Preview
Report Post
xyphro/UsbGpib: Versatile, cheap and portable USB to GPIB converter (USBTMC class based)
github.com·4d·
Discuss: Hacker News
🖥️operating systems
Preview
Report Post
Towards a secure peer-to-peer app platform for Clan
clan.lol·5d·
Discuss: Lobsters, Hacker News
🖥️operating systems
Preview
Report Post
Tachyon: High frequency statistical sampling profiler
docs.python.org·5d·
Discuss: Lobsters, Hacker News
🌐Network Protocols
Preview
Report Post
We Mass-Deployed 15-Year-Old Screen Sharing Technology and It's Actually Better
blog.helix.ml·4d·
Discuss: Lobsters, Hacker News
💾vintage computing
Preview
Report Post
Unix "find" expressions compiled to bytecode
nullprogram.com·5d·
Discuss: Lobsters, Hacker News, Hacker News
🧩programming
Preview
Report Post